Vietnamese dictionaries for mobile phones

lenient reduction not found. Suggestions:

parallel reduction

reduction strategy

string reduction

Computational Adequacy Theorem

Weak Head Normal Form

applicative order reduction

delta reduction

Church-Rosser Theorem